École des Ponts ParisTech

Results: 55



#Item
21Deduction / Logic in computer science / Propositional calculus / Entailment / Metalogic / Sequent calculus / Intuitionistic logic / Symbol / Natural deduction / Logic / Mathematical logic / Proof theory

Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2015-01-06 11:05:12
22

Supplementary materials R´egis Briant∗,a , Christian Seigneura , Marie Gadratb , Christine Bugajnyb ´ Joint Research Laboratory Ecole des Ponts ParisTech / EDF R&D, Universit´ e

Add to Reading List

Source URL: www.geosci-model-dev.net

Language: English - Date: 2014-12-04 04:15:20
    23Chemistry / Science / Physics / Woodworking / Water retention curve / Water content / Soil / Hydraulic conductivity / Soil physics / Hydrology / Soil mechanics

    Investigation of soil-atmosphere Interaction Ecole des Ponts ParisTech OUTLINE • Laboratoire Navier/Géotechnique

    Add to Reading List

    Source URL: www.bgs.ac.uk

    Language: English - Date: 2015-02-10 10:59:50
    24Conditional random field / Applied mathematics / Statistics / Segmentation / Hypergraph / Random field / Optical flow / CRFS / Mathematics / Graphical models / Theoretical computer science / Machine learning

    Learning with Inference for Discrete Graphical Models Nikos Komodakis Ecole des Ponts ParisTech Universite Paris-Est Tutorial at CVPR 2014

    Add to Reading List

    Source URL: imagine.enpc.fr

    Language: English - Date: 2014-07-01 10:37:09
    25Paris Institute of Technology / École des Ponts ParisTech / Mines ParisTech / Louis Vicat / Claude-Louis Navier / France / 6th arrondissement of Paris / Grandes écoles

    C:uments and Settingsencon documentsncv_engl_040911.prn.pdf

    Add to Reading List

    Source URL: www.cityu.edu.hk

    Language: English - Date: 2011-09-13 23:44:07
    266th arrondissement of Paris / Paris Institute of Technology / École des Ponts ParisTech / Structural engineers / Corps of Bridges and Roads / Jean-Baptiste-Charles-Joseph Bélanger / Claude-Louis Navier / France / French people / Civil engineering

    C:uments and Settingsencon documentsnrésumé_engl.prn.pdf

    Add to Reading List

    Source URL: www.cityu.edu.hk

    Language: English - Date: 2011-09-13 23:45:02
    27Nursing / Oregon / Portland Community College / École des Ponts ParisTech

    Emergency Nurse Pediatric Course Student Course Location: Portland Community College CLIMB Center 1626 SE Water Avenue Portland, OR[removed]Across from the new OMSI)

    Add to Reading List

    Source URL: www.pcc.edu

    Language: English - Date: 2013-02-20 18:29:06
    28

    About equity models based on Additive processes David Pommier Joint work with Francesco Russo CERMICS, Ecole des Ponts ParisTech.

    Add to Reading List

    Source URL: www.fields.utoronto.ca

    Language: English - Date: 2010-06-25 16:08:52
      29École des Ponts ParisTech / Infrastructure / Public Scientific and Technical Research Establishment / Vinci / France / 6th arrondissement of Paris / Paris Institute of Technology

      The opinions expressed in the studies are those of the consultant and do not necessarily represent the position of the Commission. NR2C New Road Construction Concepts towards reliable, green, safe&smart and human infrast

      Add to Reading List

      Source URL: ec.europa.eu

      Language: English - Date: 2009-12-04 10:24:00
      30Road surface / Road / France / Engineering / Grandes écoles / Civil engineering / École des Ponts ParisTech

      The opinions expressed in the studies are those of the consultant and do not necessarily represent the position of the Commission. SAMARIS Sustainable and Advanced Materials for Road Infrastructures Project details

      Add to Reading List

      Source URL: ec.europa.eu

      Language: English - Date: 2009-12-04 10:24:03
      UPDATE